DEF=collections-test
EXT=col
TESTDIR=.

include ../../../include/kframework/ktest.mak
